-
Trustworthy Tools Home | About Us | Projects | Dissertation | Publications | Divine Support As software grows more complex, it tends to grow more unstable. For ...
higher order logic  mechanical theorem proving 
www.trustworthytools.com - 2009-02-07
-
Maveric Systems is a leading Independent Software Testing Company providing services in offshore software testing and Software Quality Assurance. We offer ...
maveric-systems.com - 2009-04-10
-
A discussion of benefits of and how succesful software testing is done.
www.software-zoom.com - 2009-02-10
-
Thinksoft Global - Offers independent software testing and quality assurance services for financial and banking systems.
banking software testing  financial software testing  software testing tools. 
www.thinksoftglobal.com - 2009-02-14
-
JB Management offers a broad array of services and products to the Federal Government, including the Department of Defense (DoD), the US Army, NASA, and the US ...
1st IO Command  AdaptP3  Formatted message  IO Planners  IO Tactics  IO Training  IO TTP  Links 16  Techniques & Procedures 
www.jbmanagement.com - 2009-02-12
-
ICS: Integrated Canonizer and Solver
bitvectors  decision procedure  hardware verification  linear arithmetic  uninterpreted function symbols 
www.icansolve.com - 2009-02-05
-
Qentinel offers Quality assurance and testing services for software development. Qentinel is an independent Finnish company concentrated on software quality. ...
ensure IT-investments  software process development  software test design  test process development 
www.qentinel.com - 2009-02-04
-
Software tools, Theorem-proving, Formal verification
Aaron Turner  Man-Made Minions  program verifier  proof of correctness  theorem-prover  theorem-proving  verification challenge  verification grand challenge  verifying compiler  VV&T 
www.manmademinions.com - 2009-02-12
-
Home page for jContractor, an open source tool to support Design by Contract for Java
jContractor  postcondition  programming by contract 
jcontractor.sourceforge.net - 2009-02-06
-
FDA GMP, QSR, Design Control, software development, software validation, V&V, risk, hazard, submissions, 510(k), IDE, PMA, consulting and training.
www.cemark.net - 2009-02-14
|
|
|